perm filename CHANG[1,JRA] blob sn#005830 filedate 1972-07-14 generic text, type T, neo UTF8
00100	Q(B B D);
00200	Q(C C G);
00300	Q(A G D);
00400	¬D(X1 B) ∨¬D(X1 C);
00500	¬D(X1 X2) ∨ Q(X1 H(X1 X2) X2);
00600	¬Q(X1 X2 X3) ∨ D(X1 X3);
00700	Q(X1 X2 F(X1 X2));
00800	¬P(X1) ∨ ¬Q(X2 X2 X3) ∨ ¬D(X1 X3) ∨ D(X1 X2);
00850	¬Q(X1 X2 X4) ∨ ¬Q(X1 X3 X4) ∨ E(X2 X3);
01000	¬Q(X1 X2 X4) ∨ ¬Q(X2 X3 X5) ∨ ¬Q(X4 X3 X6) ∨ Q(X1 X5 X6);
01200	¬D(X1 X2) ∨ ¬E(X3 X2) ∨ D(X1 X3);
01250	
01300	¬Q(X1 X2 X3) ∨ Q(X2 X1 X3);
01400	¬D(X1 X2) ∨ ¬D(X2 X3) ∨ D(X1 X3);
01500	;
01600	;
01700	¬P(A); ;